A Model-Based Formalization of the Textual Notation for SDL-UML
نویسنده
چکیده
The Specification and Description Language (SDL) is a domain specific language that is well-established in the telecommunication sector since many years, but only a small set of SDL tools is available. In contrast, for the Unified Modeling Language (UML) a wide range of different kinds of tools can be used for various purposes, such as model transformation. In order to makes it possible to specify SDL compliant models with UML, a profile for the combined use of SDL and UML was standardized. This profile also embraces a textual notation for the action language of SDL-UML, which is a subset of the concrete syntax of SDL. Unfortunately, a formal specification of that textual notation is not specified. In order to remedy this gap, in this paper, a model-based approach for the formalization of the textual notation for SDL-UML is presented.
منابع مشابه
Describing Computer Languages
Concept Definitions First we present the abstract construct definitions that were used for the SDL2000 meta-model. There are different levels of abstractions. Some constructs are so general that they are used in virtually every object-oriented language, others are more specific and may only be reused among related languages or only within one language. Figure 3.9 shows the abstract structure co...
متن کاملModeling and Verification of Manufacturing Systems: A Domain-Specific Formalization of UML
This article presents a formalization of parts of the Unified Modeling Language (UML) w.r.t. the domain of modeling time-dependant manufacturing systems. The formalization approach is based upon a set of identified general formalization steps. We investigate the applicability of UML class diagrams, Statecharts, and UML’s textual Object Constraint Language (OCL) to model manufacturing systems an...
متن کاملPetri Nets Based Formalization of Textual Use Cases
A Use Case is a specification of interactions involving a system and external actors of that system. The intuitive, user centered nature of textual use cases is one of the reasons for the success of the use case approach. A certain level of formalization is however needed to automate use case based system development, including tasks such as model synthesis, verification and validation. In this...
متن کاملUML for architectural design
Describing the architectural design (i.e. the mapping from a logical functional model to a concrete system) is a general problem in software system engineering. While notations have been defined to describe abstract models and implementations, little work has been done in order to define a notation for architectural design. Solutions are proposed in UML for describing the system software struct...
متن کاملEvaluating and generalizing constraint diagrams
The constraint diagram language was designed to be used in conjunction with the Unified Modelling Language (UML), primarily for placing formal constraints on software models. In particular, constraint diagrams play a similar role to the textual Object Constraint Language (OCL) in that they can be used for specifying system invariants and operation contracts in the context of a UML model. Unlike...
متن کامل